Compound composite materials.2 SMC 1.Focused on TMC, HMC, and XMC.

Compound composite odontoma.

Odontomas are the most common type of odontogenic tumors and generally they are asymptomatic. Frequently, it may interfere with the eruption of the teeth. This is a case report of a compound composite odontoma in a 10-year-old girl, which results in failure of eruption of the permanent upper right central incisor while the contralateral tooth had erupted. A calcified mass was seen in the radiog...

Compound Composite Odontoma and Its Management

Odontomas are odontogenic benign tumors composed of dental tissue. Majority of these lesions are asymptomatic and are often detected on routine radiographs. They can be thought of as "tooth hamartomas" with the lesion consisting of various tooth components. They are divided histologically into complex odontomas and compound odontomas. This paper describes the case of a compound odontoma in a 13...

Xmc: a Logic-programming-based Veriication Toolset ?

XMC: A Logic-Programming-Based Verification Toolset

XMC is a toolset for specifying and verifying concurrent systems. Its main mode of verification is temporal-logic model checking [CES86], although equivalence checkers have also been implemented. In its current form, temporal properties are specified in the alternation-free fragment of the modal mu-calculus [Koz83], and system models are specified in XL, a value-passing language based on CCS [M...

on semihypergroups and hypergroups

in this thesis, first the notion of weak mutual associativity (w.m.a.) and the necessary and sufficient condition for a $(l,gamma)$-associated hypersemigroup $(h, ast)$ derived from some family of $lesssim$-preordered semigroups to be a hypergroup, are given. second, by proving the fact that the concrete categories, semihypergroups and hypergroups have not free objects we will introduce t...